What it does

This feature implements a gedit-style offer to load external changes, addressing issue #167. In the process, it also addresses issue #168. See #167 (comment).

How it works

When a tab gains focus (on_focus_in_view), the interface checks whether the associated file has been changed externally (editor_externally_modified). If so, the tab shows an info bar offering to reload the file (gui_external_changes_enable).

To do

Short term

• Localize the info bar messages in utils_save_confirmation_dialog and gui_external_changes_enable.
• Remove the debug warning from on_focus_in_view.

Long term

• Generalize the info bar system so that Gummi can use info bars more consistently in the future. Right now, this feature co-opts the recovery mode info bar.
• Use the built-in gtk_source_file_is_externally_modified, like gedit does here and here, instead of the custom last_external_modtime system.